Disputing Dijkstra, and birthdays in base 2
نویسندگان
چکیده
منابع مشابه
Dijkstra Graphs
We revisit a concept that has been central in some early stages of computer science, that of structured programming: a set of rules that an algorithm must follow in order to acquire a structure that is desirable in many aspects. While much has been written about structured programming, an important issue has been left unanswered: given an arbitrary, compiled program, describe an algorithm to de...
متن کاملFormalizing Dijkstra
We present a HOL formalization of the foundational parts of Dijkstra’s classic monograph “A Discipline of Programming”. While embedding programming language semantics in theorem provers is hardly new, this particular undertaking raises several interesting questions, and perhaps makes an interesting supplement to the monograph. Moreover, the failure of HOL’s first order proof tactic to prove one...
متن کاملDijkstra Monads in Monadic Computation
The Dijkstra monad has been introduced recently for capturing weakest precondition computations within the context of program verification, supported by a theorem prover. Here we give a more general description of such Dijkstra monads in a categorical setting. We first elaborate the recently developed view on program semantics in terms of a triangle of computations, state transformers, and pred...
متن کاملHolidays, birthdays, and postponement of cancer death.
CONTEXT Articles in the medical literature and lay press have supported a belief that individuals, including those dying of cancer, can temporarily postpone their death to survive a major holiday or other significant event, but results and effects have been variable. OBJECTIVE To determine whether, for the patient dying of cancer, a "death takes a holiday" effect showing a reduction in deaths...
متن کاملAge-identities and the celebration of birthdays
In a paper in the January issue of this volume of Ageing & Society, Eric Midwinter argued that ‘much can be learned from re-drawing the demographic map with social rather than chronological contours ’. This opinion reflects a widespread view among social gerontologists that chronological age is an ‘empty ’ variable, even though it is central to the construction of social identities, both in bur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2021
ISSN: 0001-0782,1557-7317
DOI: 10.1145/3446806